#include <defs.h>
#include <user.h>
#include <bwio.h>
#include <ts7200.h>
#include <idle.h>

void IdleTask() {
  while (TRUE) {}
  Exit();
}
